2221. Tractatus logico-philosophicus suivi de investigations philosophiques

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,Logic, Symbolic and mathematical.,Philosophy.,Language and languages.

2222. Tractatus logico-philosophicus: the German text of Ludwig Wittgenstein Logisch-philosophische abhandlung

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages

رده :
B
3376
.
W563T72
1988

2223. Traffic Control and Transport Planning:

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.

2224. Traite de logique; essai de logistique operatoire

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Logic, Symbolic and mathematical.,Logic.

2225. Transcendence and Wittgenstein's Tractatus

پدیدآورنده :

کتابخانه: کتابخانه انتشارات سمت (تهران)

موضوع : Wittgenstein, Ludwig,- 1889-1951.- Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy,Transcendence )Philosophy(

رده :
B
.
W563
,
T73345
3376
1990

2226. Transition to higher mathematics: structure and proof

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic, Symbolic and mathematical,-- Textbooks

رده :
511
.
3
D886T
2007

2227. Translations from the philosophical writings of Gottlob Frege

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy

رده :
BC
135
.
F73T7
1980

2228. Trends in Logic

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Coding theory.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

2229. Trends in mathematics and computational intelligence /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational intelligence.,Computational intelligence.

رده :
Q342
.
T74
2019eb

2230. Truth, deduction, and computation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing

رده :
QA76
.
7
.
D386
1989

2231. Truth, possibility and probability : new logical foundations of probability and statistical inference

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
C58
1991

2232. Truth, syntax and modality

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
BC135
،.
C56
1970

2233. Truth, syntax and modality

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.

2234. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses

رده :
BC
135
.
C56
1970

2235. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics

رده :
BC
135
.
C56
1970

2236. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics

رده :
BC
135
.
C56
1970

2237. Truthlikeness

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)

2238. Twelve papers in logic and algebra

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Algebra-- Addresses, essays, lectures

رده :
QA
3
.
A572
ser
.
2
vol
.
113

2239. Two applications of logic to mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean

رده :
QA
9
.
T26
1978

2240. Two applications of logic to mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean

رده :
QA
9
.
T26